Implication Details

Assumptions: countably distributive, self-dual

Conclusions: countably codistributive

Reason: This holds by self-duality.